A mathematical approach towards hardware design
نویسندگان
چکیده
The inadequacies of traditional design practices for embedded systems have led to a myriad proposals as to improve the state of the art and raise the abstraction level. Almost all of these proposals still start with an imperative “C”-like basis, even though the original mathematical specification has completely different semantics. We show a design process based on a functional language, staying in the same semantic domain as the mathematical specification. Meaning-preserving transformations on these functional description then lead to an optimized parallel design.
منابع مشابه
Model Based Design approach for Implementation of PHEV Energy Management
Hardware implementation of the Plug-in hybrid electric vehicles (PHEVs) control strategy is an important stage of the development of the vehicle electric control unit (ECU). This paper introduces Model-Based Design (MBD) approach for implementation of PHEV energy management. Based on this approach, implementation of the control algorithm on an electronic hardware is performed using automatic co...
متن کاملHardwar Trojan classification and implementation and offer a new detection approach
A hardware attack that enables the attacker to alter the main circuit with malicious hardware during either design or the fabrication process is studied and analyzed. This attack, known as the hardware Trojan, has different objectives such as destroying hardware, changing circuit characteristics or extracting sensitive information. So hardware Trojan detection and hardware security are critical...
متن کاملAutonomous Drug-Encapsulated Nanoparticles: Towards a Novel Non-Invasive Approach to Prevent Atherosclerosis
Introduction This paper proposes the concept of autonomous drug-encapsulated nanoparticle (ADENP) as a novel non-invasive approach to prevent atherosclerosis. ADENP consists of three simple units of sensor, controller (computing), and actuator. The hardware complexity of ADENP is much lower than most of the nanorobots, while the performance is maintained by the synergism in the swarm architectu...
متن کاملCo-synthesis and co-simulation of control-dominated embedded systems
This paper presents a methodology for hardware/software co-design with particular emphasis on the problems related to the concurrent simulation and synthesis of hardware and software parts of the overall system. The proposed approach aims at overcoming the problem of having two separate simulation environments by defining a VHDL-based modeling strategy for software execution, thus enabling the ...
متن کاملLightweight 4x4 MDS Matrices for Hardware-Oriented Cryptographic Primitives
Linear diffusion layer is an important part of lightweight block ciphers and hash functions. This paper presents an efficient class of lightweight 4x4 MDS matrices such that the implementation cost of them and their corresponding inverses are equal. The main target of the paper is hardware oriented cryptographic primitives and the implementation cost is measured in terms of the required number ...
متن کامل